Deriving Incremental Programs
نویسندگان
چکیده
A systematic stepwise transformational approach is given for deriving incremental programs from non-incremental programs. We exploit partial evaluation, other static analysis and transformation techniques, and domain-speciic knowledge in order to provide a degree of incremen-tality not otherwise achievable by a generic incremental evaluator. The generality of our model of incremental computation is discussed and compared with related work. Illustrative examples using the transformational approach are given.
منابع مشابه
Systematic Derivation of Incremental Programs
A systematic approach is given for deriving incremental programs from non incremental programs written in a standard functional programming language We exploit a number of program analysis and transformation techniques and domain speci c knowledge centered around e ective utilization of caching in order to provide a degree of incrementality not otherwise achievable by a generic incremental eval...
متن کاملEecient Computation via Incremental Computation
Incremental computation takes advantage of repeated computations on inputs that diier slightly from one another, computing each output eeciently by exploiting the previous output. This paper gives an overview of a general and systematic approach to incrementalization. Given a program f and an operation , the approach yields an incremental program that computes f (x y) eeciently by using the res...
متن کاملCACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs
This paper describes the design and implementation of an interactive, incremental-attribution-based program transformation system, CACHET, that derives incre-mental programs from non-incremental programs written in a functional language. CACHET is designed as a programming environment and implemented using a language-based editor generator, the Synthesizer Generator , with extensions that suppo...
متن کاملE cient Computation via Incremental Computation
Incremental computation takes advantage of repeated computations on inputs that di er slightly from one another, computing each output e ciently by exploiting the previous output. This paper gives an overview of a general and systematic approach to incrementalization. Given a program f and an operation , the approach yields an incremental program that computes f(x y) e ciently by using the resu...
متن کاملDeriving Relational Database Programs from Formal Specifications
The derivation of database programs directly from formal specii-cations is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However diicult in general, deriving relational database applications directly from Z sp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993